language / compiler / work surface

A language for structural editing and native execution by autonomous agents.

Sley treats program change as a typed, inspectable object. Humans keep readable source. Agents work through compiler-exposed structure. The compiler decides what is legal, what is authorized, and what evidence remains after a change lands.

Read Docs Inspect Shape

Status private v0 prototype

Surface source for people, structure for agents

Boundary syntax and install path withheld until source release

public preview

Code-Shaped Contract

# Public shape sketch. This is not the private grammar.

language Sley:
  source     -> human_review
  structure  -> agent_work_surface
  edit       -> compiler_checked_plan
  authority  -> explicit_gate
  verify     -> deterministic_receipt

change SetPolicy:
  inspect structure
  propose bounded_edit
  require declared_authority
  accept only_if compiler_oracle == clean
  emit provenance + handoff_evidence

core philosophy

No Magic. Just Better Boundaries.

Structure First

Agents should not infer program shape from anonymous text spans. The language exposes the work surface as structure.

Authority Is Syntax

Dangerous capabilities belong at explicit task boundaries. Hidden side effects are not a serious agent substrate.

Evidence Survives

Accepted changes should leave proof: diagnostics, verification, provenance, package state, and handoff context.

install

Release Path Pending

Sley is active private v0 work. The public site explains the design posture without publishing exact syntax, commands, fixtures, schema payloads, operation inventories, or compiler internals before release.